<p> This code compares a value that is guaranteed to be non-negative with a negative constant.
</p>